Andrzej Ehrenfeucht; "Separable theories"
#理論の一様本質的決定不能性と再帰的分離不能性の同値性